University of Washington - PDFSEARCH.IO - Document Search Engine

University of Washington
Results: 13635

#	Item
231	The Learning Experiences of Youth Online Information Brokers Jason C. Yip, Carmen Gonzalez, University of Washington – Seattle, {jcyip, cmgonzal}@uw.edu Vikki Katz, Rutgers University, Abstract: In th Add to Reading List Source URL: bigyipper.com - Date: 2016-03-09 19:59:57
232	Scaling Program Synthesis by Exploiting Existing Code James Bornholt Emina Torlak University of Washington Add to Reading List Source URL: homes.cs.washington.edu - Date: 2017-06-23 18:20:17
233	Adapting Proof Automation to Adapt Proofs Talia Ringer Nathaniel Yazdani University of Washington, USA Add to Reading List Source URL: tlringer.github.io - Date: 2018-03-04 15:22:48
234	Approximate Program Synthesis James Bornholt Emina Torlak Luis Ceze Dan Grossman University of Washington Add to Reading List Source URL: homes.cs.washington.edu - Date: 2016-11-23 00:38:14
235	Exploiting the collective wisdom of web application executions Brian Burg University of Washington 1. Add to Reading List Source URL: engineering.purdue.edu - Date: 2011-05-30 18:43:31
236	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Add to Reading List Source URL: homes.cs.washington.edu - Date: 2016-11-23 00:38:18
237	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Add to Reading List Source URL: locore.cs.washington.edu - Date: 2016-10-05 18:29:44
238	A Large-Scale Educational Campaigns YUN-EN LIU, University of Washington CHRISTY BALLWEBER, University of Washington ELEANOR O’ROURKE, University of Washington ERIC BUTLER, University of Washington Add to Reading List Source URL: www.ericbutler.net - Date: 2015-06-29 01:01:36
239	Scaling Semantic Parsers with On-the-fly Ontology Matching Tom Kwiatkowski Eunsol Choi Yoav Artzi Luke Zettlemoyer Computer Science & Engineering University of Washington Add to Reading List Source URL: yoavartzi.com - Date: 2018-04-02 13:13:18
240	When (ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems Matthew Kay CSE \| dub University of Washington Add to Reading List Source URL: www.mjskay.com - Date: 2016-07-11 22:21:22

UPDATE